Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 62.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000237 | Houari Mahfoud [Algérie] ; Abdessamad Imine [France] | Efficient Querying of XML Data Through Arbitrary Security Views |
| 000311 | Nadir Guetmi [France] ; Abdessamad Imine [France] | A Cloud-Based Reusable Design for Mobile Data Sharing |
| 000332 | Moulay Driss Mechaoui [Algérie] ; Nadir Guetmi [France] ; Abdessamad Imine [France] | Mobile Co-Authoring of Linked Data in the Cloud |
| 000376 | Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Differentially Private Publication of Social Graphs at Linear Cost |
| 000398 | Hoang Bao Thien [France] ; Abdessamad Imine [France] | Efficient and Decentralized Polling Protocol for General Social Networks |
| 000445 | Nadir Guetmi [France] ; Moulay Driss Mechaoui [Algérie] ; Abdessamad Imine [France] | Resilient Collaboration for Mobile Cloud Computing |
| 000530 | Moulay Driss Mechaoui [Algérie] ; Nadir Guetmi [France] ; Abdessamad Imine [France] | Towards Real-Time Co-authoring of Linked-Data on the Web |
| 000585 | Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Anonymizing Social Graphs via Uncertainty Semantics |
| 000587 | Nadir Guetmi [France] ; Moulay Driss Mechaoui [Algérie] ; Abdessamad Imine [France] ; Ladjel Bellatreche [France] | Mobile collaboration: a collaborative editing service in the cloud |
| 000639 | Aurel Randolph [Canada] ; Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Alejandro Quintero [Canada] | On Synthesizing a Consistent Operational Transformation Approach |
| 000661 | Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada] | Spécification et Analyse d’un Protocole de Contrôle d’Accès Optimiste pour Éditeurs Collaboratifs Répartis |
| 000818 | Asma Cherif [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | Practical access control management for distributed collaborative editors |
| 000888 | Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | A Maximum Variance Approach for Graph Anonymization |
| 000C69 | Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | Enforcing Privacy in Decentralized Mobile Social Networks |
| 000F25 | Hoang Bao Thien [France] ; Abdessamad Imine [France] | On Constrained Adding Friends in Social Networks |
| 000F96 | Houari Mahfoud [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | SVMAX: a system for secure and valid manipulation of XML data |
| 001009 | Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Quintero Alejandro | Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors |
| 001262 | Abdessamad Imine [France] ; Michael Rusinowitch [France] | Secure Collaboration for Smartphones |
| 001525 | Houari Mahfoud [France] ; Abdessamad Imine [France] | On Securely Manipulating XML Data |
| 001796 | Hoang Bao Thien [France] ; Abdessamad Imine [France] | On the Polling Problem for Social Networks |
| 001882 | Houari Mahfoud [France] ; Abdessamad Imine [France] | On Securely Manipulating XML Data |
| 001883 | Houari Mahfoud [France] ; Abdessamad Imine [France] | On Securely Manipulating XML Data |
| 001969 | Hoang Bao Thien [France] ; Abdessamad Imine [France] | On the Polling Problem for Social Networks |
| 001986 | Aurel Randolph ; Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Quintero Alejandro | On Consistency of Operational Transformation Approach |
| 001B31 | Houari Mahfoud [France] ; Abdessamad Imine [France] | A General Approach for Securely Updating XML Data |
| 001B68 | Houari Mahfoud [France] ; Abdessamad Imine [France] | Secure querying of recursive XML views: a standard xpath-based technique |
| 001C43 | Houari Mahfoud [France] ; Abdessamad Imine [France] | A General Approach for Securely Querying and Updating XML Data |
| 001F63 | Houari Mahfoud [France] ; Abdessamad Imine [France] | Secure Querying of Recursive XML Views: A Standard XPath-based Technique |
| 001F83 | Asma Cherif [France] ; Abdessamad Imine [France] | On the Undoability Problem in Distributed Collaborative Applications |
| 002240 | Jagdish Prasad Achara [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | DeSCal --- Decentralized Shared Calendar for P2P and Ad-Hoc Networks |
| 002415 | Asma Cherif [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Optimistic access control for distributed collaborative editors |
| 002A25 | Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Manal Najem [Canada] | Symbolic Model-Checking of Optimistic Replication Algorithms |
| 002A30 | Moulay Driss Mechaoui ; Asma Cherif [France] ; Abdessamad Imine [France] ; Fatima Bendella | Log Garbage Collector-based Real Time Collaborative Editor for Mobile Devices |
| 002A85 | Abdessamad Imine [France] | On Coordinating Collaborative Objects |
| 002B06 | Zeeshan Ahmed [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | Safe and Efficient Strategies for Updating Firewall Policies |
| 003388 | Asma Cherif [France] ; Abdessamad Imine [France] | Undo-Based Access Control for Distributed Collaborative Editors |
| 003434 | Abdessamad Imine [France] ; Asma Cherif [France] ; Michael Rusinowitch [France] | A Flexible Access Control Model for Distributed Collaborative Editors |
| 003555 | Abdessamad Imine [France] | Coordination Model for Real-Time Collaborative Editors |
| 003556 | Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] | On Model-Checking Optimistic Replication Algorithms |
| 003C44 | Zeeshan Ahmed [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Safe and Efficient Strategies for Updating Firewall Policies |
| 003D03 | Abdessamad Imine [France] ; Asma Cherif [France] ; Michaël Rusinowitch [France] | An Optimistic Mandatory Access Control Model for Distributed Collaborative Editors |
| 003F73 | Abdessamad Imine [France] | Flexible Concurrency Control for Real-Time Collaborative Editors |
| 003F77 | Abdessamad Imine [France] | Decentralized concurrency control for real-time collaborative editors |
| 004572 | Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] | Experiments in Model-Checking Optimistic Replication Algorithms |
| 004F39 | Gérald Oster [Suisse] ; Pascal Molli [France] ; Pascal Urso [France] ; Abdessamad Imine [France] | Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems |
| 004F50 | Gérald Oster [Suisse] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Data Consistency for P2P Collaborative Editing |
| 005603 | Abdessamad Imine [France] ; Michaël Rusinowitch [France] ; Gérald Oster [France] ; Pascal Molli [France] | Formal design and verification of operational transformation algorithms for copies convergence |
| 005863 | Gérald Oster [France] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Edition collaborative sur réseau pair-à-pair à large échelle |
| 005887 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Towards Synchronizing Linear Collaborative Objects with Operation Transformation |
| 006476 | Gérald Oster [France] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Real time group editors without Operational transformation |
| 006480 | Gérald Oster [Suisse] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Proving correctness of transformation functions in collaborative editing systems |
| 006489 | Gérald Oster [France] ; Pascal Urso [France] ; Pascal Molli [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Optimistic Replication for Massive Collaborative Editing |
| 006641 | Gérald Oster [France] ; Pascal Molli [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Un modèle sûr et générique pour la synchronisation de données divergentes |
| 006C18 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Deductive Verification of Distributed Groupware Systems |
| 006C48 | David Déharbe [Brésil] ; Abdessamad Imine [France] ; Silvio Ranise [France] | Abstraction-Driven Verification of Array Programs |
| 007037 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Deductive Verification of Distributed Groupware Systems |
| 007091 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Achieving Convergence with Operational Transformation in Distributed Groupware Systems |
| 007143 | Pascal Molli [France] ; Gérald Oster [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Using the Transformational Approach to Build a Safe and Generic Data Synchronizer |
| 007237 | Abdessamad Imine [France] ; Pascal Urso [France] | Automatic Detection of Copies Divergence in Collaborative Editing Systems |
| 007434 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Pascal Urso [France] | VOTE: Group Editors Analyzing Tool |
| 007B85 | Pascal Molli [France] ; Gérald Oster [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Safe Generic Data Synchronizer |
| 007D68 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Proving Correctness of Transformation Functions in Real-Time Groupware |
| This area was generated with Dilib version V0.6.33. |  |